-
1 outline of proof
Большой англо-русский и русско-английский словарь > outline of proof
-
2 outline of proof
Математика: набросок доказательства -
3 outline of proof
-
4 outline of proof
Англо-русский словарь по исследованиям и ноу-хау > outline of proof
-
5 outline
1) набросок; черновик; брульон2) контур || контурный3) схема; план4) абрис, очертание, обвод || обводить, очерчивать5) эскиз || эскизный6) очерк7) эскиз || эскизный• -
6 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
7 proof in outline
Большой англо-русский и русско-английский словарь > proof in outline
-
8 proof in outline
Математика: набросок доказательства -
9 набросок доказательства
Большой англо-русский и русско-английский словарь > набросок доказательства
-
10 first
1) система первого
2) первый
3) начальный
4) начало
5) сперва
6) сначала
7) впервые
8) прежде всего
– as a first approximation
– at first
– at first sight
– come first
– first aid
– first approximation
– first bit
– first blow
– first coat
– first difference
– first drawing
– first elevator
– first floor
– first harmonic
– first mate
– first note
– first of all
– first outline
– first proof
– first slag
– first term
– for the first time
– in the first place
– on first reading
Newton's first law of motion — <phys.> закон инерции
-
11 OP
1) Компьютерная техника: Open Platform, Open Plug, Operator Panel, Outline Processor2) Биология: osmotic pressure3) Медицина: On Program, остеопороз, Oscillating Plumbism (Medical note referring to a patient deemed to be 'swinging the lead'-meaning that the patient's sickness or injury is not genuine, he/she merely has an aversion to work.)4) Американизм: Official Publication5) Ботаника: Open Pollinated6) Спорт: Open Position7) Военный термин: Off Privileges, Office Of Protector, Office of Preparedness, Operations, Opportunity Profile, Other Procurement, Overall Position, observation plane, observation point, office of personnel, open point, operating plan, operating procedure, operation order, operation plan, operational performance, operational phase, operational plan, operational post, operational priority, operational procedure, operational project, ordnance pamphlet, ordnance personnel, outline plan, outpatient, outpost, output8) Техника: object processor, operating room, optical probe, optimization process, out-post, output printer, oxygen pressure9) Сельское хозяйство: ophthalmoplegia, organophosphorus10) Математика: Orthogonal Polynomials11) Юридический термин: The Old Prison12) Финансы: operating profit13) Сокращение: OFFICEPOWER ( office automation system, trademark of CCI), OFFICEPOWER office automation system, trademark of CCI, Office of Protocol, Oil Pressure, Open, Operator's Panel, Optional Procedure mailing system, Orange Pekoe, Order of Preachers, observation post, oil pump, oilproof, open policy, out-of-print, package14) Университет: Obnoxious Preppie15) Физиология: Occiput Posterior, Out Patient16) Электроника: Octave Plateau17) Вычислительная техника: Original Poster (DFUE-Slang, Usenet), Oracle9iAS Personalization (Oracle, DB)18) Нефть: oil pay, overproduced, добытый сверх установленной нормы (overproduced), нефтяной коллектор (oil pay), оконтуривающий (о скважине; out-post), outpost (well)19) Иммунология: Other Peoples20) Пищевая промышленность: Orange Potatoes21) Машиностроение: (operator panel) панель оператора22) СМИ: Orthographic Projection, Outstanding Performer23) Деловая лексика: On Plan, Outside Partner24) Бурение: оконтуривающая (outpost well; скважина)25) Глоссарий компании Сахалин Энерджи: operating pressure26) Сетевые технологии: Optimistic Protocols27) Полимеры: old-pattern28) Контроль качества: order point29) Авиационная медицина: otolith pressure30) Макаров: orbiter payload31) Интернет: original poster (a person who starts a new thread to post their question on the Internet), "аскер" (a person who starts a new thread to post their question on the Internet), (Original Poster) топикстартер, автор (первого поста для обсуждения на форуме) (Original Poster)32) Расширение файла: Optical33) Электротехника: oil-proof34) Должность: Official Photographer35) Чат: Octo Pest36) Федеральное бюро расследований: Office of Preference -
12 op
1) Компьютерная техника: Open Platform, Open Plug, Operator Panel, Outline Processor2) Биология: osmotic pressure3) Медицина: On Program, остеопороз, Oscillating Plumbism (Medical note referring to a patient deemed to be 'swinging the lead'-meaning that the patient's sickness or injury is not genuine, he/she merely has an aversion to work.)4) Американизм: Official Publication5) Ботаника: Open Pollinated6) Спорт: Open Position7) Военный термин: Off Privileges, Office Of Protector, Office of Preparedness, Operations, Opportunity Profile, Other Procurement, Overall Position, observation plane, observation point, office of personnel, open point, operating plan, operating procedure, operation order, operation plan, operational performance, operational phase, operational plan, operational post, operational priority, operational procedure, operational project, ordnance pamphlet, ordnance personnel, outline plan, outpatient, outpost, output8) Техника: object processor, operating room, optical probe, optimization process, out-post, output printer, oxygen pressure9) Сельское хозяйство: ophthalmoplegia, organophosphorus10) Математика: Orthogonal Polynomials11) Юридический термин: The Old Prison12) Финансы: operating profit13) Сокращение: OFFICEPOWER ( office automation system, trademark of CCI), OFFICEPOWER office automation system, trademark of CCI, Office of Protocol, Oil Pressure, Open, Operator's Panel, Optional Procedure mailing system, Orange Pekoe, Order of Preachers, observation post, oil pump, oilproof, open policy, out-of-print, package14) Университет: Obnoxious Preppie15) Физиология: Occiput Posterior, Out Patient16) Электроника: Octave Plateau17) Вычислительная техника: Original Poster (DFUE-Slang, Usenet), Oracle9iAS Personalization (Oracle, DB)18) Нефть: oil pay, overproduced, добытый сверх установленной нормы (overproduced), нефтяной коллектор (oil pay), оконтуривающий (о скважине; out-post), outpost (well)19) Иммунология: Other Peoples20) Пищевая промышленность: Orange Potatoes21) Машиностроение: (operator panel) панель оператора22) СМИ: Orthographic Projection, Outstanding Performer23) Деловая лексика: On Plan, Outside Partner24) Бурение: оконтуривающая (outpost well; скважина)25) Глоссарий компании Сахалин Энерджи: operating pressure26) Сетевые технологии: Optimistic Protocols27) Полимеры: old-pattern28) Контроль качества: order point29) Авиационная медицина: otolith pressure30) Макаров: orbiter payload31) Интернет: original poster (a person who starts a new thread to post their question on the Internet), "аскер" (a person who starts a new thread to post their question on the Internet), (Original Poster) топикстартер, автор (первого поста для обсуждения на форуме) (Original Poster)32) Расширение файла: Optical33) Электротехника: oil-proof34) Должность: Official Photographer35) Чат: Octo Pest36) Федеральное бюро расследований: Office of Preference -
13 essay
-
14 argument
1. n довод, доказательство, аргумент2. n аргументация; аргументированное выступление3. n спор, дискуссияhigh-pitched argument — острые разногласия, горячий спор
4. n тема или основная идеяthe central argument of his paper was presented with clarity — главная тема его работы была изложена ясно
5. n краткое содержание6. n лог. средний термин силлогизма7. n мат. аргумент, независимая переменнаяdummy argument — фиктивный аргумент; фиктивный параметр
valid argument — убедительный довод, веский аргумент
a two-forked argument — аргумент, имеющий две цели
8. n информ. вчт. параметрСинонимический ряд:1. evidence (noun) case; evidence; explanation; fact; ground; justification; logic; proof; reason; reasoning; wherefore; why; whyfor2. outline (noun) abstract; epitome; outline; summary3. subject (noun) head; matter; motif; motive; point; statement; subject; subject matter; text; theme; thesis; topic4. words (noun) altercation; clash; contention; controversy; debate; disagreement; discussion; dispute; feud; fight; hassle; hurrah; polemic; quarrel; row; rumpus; run-in; spat; squabble; tiff; unpleasantness; words; wrangleАнтонимический ряд:assertion; assumption -
15 ODP
1) Спорт: Olympic Development Program2) Военный термин: Office of Defence Production, Office of Defense Planning, Outline Development Plan, officer distribution plan, operational deployment plan, operational development plan, operational development program, optical data processing, organized reservists in drill pay status, original departure point, original document processing, overall documentation plan3) Техника: ocean drilling project, optical designation program4) Химия: озоноразрушающий потенциал5) Автомобильный термин: ВМТ, верхняя мёртвая точка6) Сокращение: Ozone Depletion Potential, open dripproof7) Физика: Optical Data Processor8) Вычислительная техника: optical disk player, output display processor, Open Distributed Processing (ISO), OverDrive Processor (Intel), Open Directory Project (WWW, Netscape)9) Нефть: Ocean Drilling Program, open drip proof, Проект океанического бурения (США; Ocean Drilling Project)10) Транспорт: Orderly Departure Program11) Нефтегазовая техника программа океанического бурения (Ocean Drilling Program)12) Сетевые технологии: open distributing processing, открытая распределённая обработка, открытые распределённые вычисления13) Полимеры: iso-octyl-decyl phthalate14) Макаров: orbital deletion procedure15) Расширение файла: Open Distributed Processing16) Должность: Operating Department Practitioner17) NYSE. Office Depot, Inc. -
16 resume
-
17 summary
-
18 résumé
-
19 paint
1. n краска2. n румяна; грим3. n краски4. n украшательство, показуха, фальшь5. n мед. наружное лекарство, которое наносят кисточкой или лопаткой6. v красить, раскрашивать; расписыватьcoated with paint — красил; окрашенный
7. v писать красками, заниматься живописьюweather-proof paint — краска, не поддающаяся влиянию погоды
8. v описывать, изображать9. v разг. приукрашивать10. v румяниться, краситься; гримироваться11. v разг. пьянствовать12. v мед. смазыватьСинонимический ряд:1. make-up (noun) cosmetics; face; face powder; makeup; make-up; maquillage; rouge; tint; war paint2. pigment (noun) coloring; coloring material; colouring; dye; pigment; stain; tincture3. veneer (noun) coat; cover; covering; layer; overlay; varnish; veneer4. coat (verb) brush; coat; cover; daub; gild; lacquer; swab; tint; veneer5. portray (verb) compose; delineate; depict; design; draft; draw; outline; portray; sketch -
20 plate
1. пластина; плита2. стереотип; гальваностереотип; стереотипировать; изготовлять гальваностереотип3. фотопластинка4. наносить гальваническое покрытие5. гравюра; эстамп; вкладная иллюстрация6. экслибрис7. удалять краску с пробельных элементов формы8. вымывать неэкспонированные участки фотоформыadhesive mounted plate — печатная форма, закреплённая приклеиванием
9. алюминиевая офсетная формная пластина10. алюминиевая офсетная печатная формаplate thickness — толщина пластины, толщина печатной формы
11. алюминиевая формная пластина12. алюминиевая печатная формаaqueous-developed plate — печатная форма, получаемая с использованием водного проявления
Ben Day plate — клише, в котором часть элементов изображения создана тангированием
13. изогнутая стереотипная печатная форма14. биметаллическая формная пластина15. биметаллическая печатная формаblank plate — пластина, подготовленная для гравирования
bridge plate — направляющий мостик, направляющая пластина
chalk plate — стальная пластина, покрытая мелом
16. фототипная печатная форма17. фототипная вкладная иллюстрация18. многокрасочная иллюстрация19. клише для многокрасочной печати; цветоделённая печатная формаcolor line plate — гальваностереотип, подлитый способом «колор лайн»
combination halftone-and-line plate — смешанная печатная форма, содержащая растровые и штриховые изображения
computer output printed paper plate — бумажная печатная форма с выходными данными, полученными из ЭВМ
conversion plate — форма глубокой печати, изготовленная с офсетной фотоформы
20. круглый стереотип21. изогнутая печатная формаdata plate — табличка основных параметров; фирменная табличка
deep-etch plate — офсетная печатная форма с углублёнными печатающими элементами, форма глубокого офсета
22. высекальный штамп23. штемпель, штемпельная пластина, штемпельная формаdiffusion transfer plate — форма, полученная способом диффузионного переноса изображения
direct image plate — форма с прямым изображением ; печатная форма, полученная прямым копированием
24. распашная иллюстрация; распашной вкладной лист25. форма для печатания распашной иллюстрацииduplicate plate — дубликат клише, форма-дубликат; вторичная печатная форма, стереотипная печатная форма, стереотип
26. форма, полученная гравированием27. стапельный стол самонаклада28. подающая планка; толкатель самонаклада29. плоская печатная форма30. слабая печатная формаplate copy — копия, полученная с формы
31. слабый диапозитив или негативflexo plate — флексографская печатная форма, форма флексографской печати
32. кассета фальцевальной машины33. сфальцованная иллюстрация34. неподвижный бортик, пластина для долевой загибки ткани35. рабочая пластина переднего упора36. передний упор37. полосная вкладная иллюстрация38. вкладной лист, имеющий формат страницыhalftone plate — растровая печатная форма; растровое клише
halftone color plate — растровое клише для многокрасочной печати; растровая цветоделённая печатная форма
hand-engraved plate — форма глубокой печати, полученная ручным способом
hard edges plate — растровое клише, дающее более тёмное изображение по краям
high speed projection plate — формная пластина высокой светочувствительности для проекционной съёмки
imaged plate — копия, экспонированная формная пластина
image receiving plate — пластина, воспринимающая изображение
ink plate — раскатная плита, красочная плита
laminated plate — ламинированная формная пластина; тонкая листовая форма
line plate — штриховая печатная форма; штриховое клише
39. форма плоской печати40. офсетная формная пластинаlithographic electrostatic printing plate — офсетная печатная форма, изготовленная электростатическим способом
41. магниевая формная пластина42. магниевая печатная формаmagnetic plate — печатная форма с металлической подложкой для крепления на магнитном формном цилиндре
43. эталонная печатная форма44. шрифтоноситель на пластинеminus plate — печатная форма, на которой печатающие элементы расположены ниже непечатающих
45. полиметаллическая формная пластина46. полиметаллическая офсетная форма47. выворотная форма48. формная пластина с негативным копировальным слоем49. печатная форма негативного копирования50. фотополимерная форма высокой печати типа «найлопринт»51. фотополимеризующаяся пластина типа «найлопринт»offset paper plate — бумажная офсетная форма, офсетная форма на гидрофильной бумаге
52. бумажная формная пластина53. бумажная печатная формаpattern plate — оригинальная форма, предназначенная для матрицирования
photodirect plate — бумажная формная пластина с ортохроматическим покрытием на основе галоидного серебра
54. фотополимерная пластина55. фотополимерная печатная форма56. печатная форма, полученная на пластмассовой пластине прямым способом, полимерная печатная формаswash plate — диск, насаженный на ось не под прямым углом
57. пластмассовый стереотипplus plate — печатная форма, на которой печатающие элементы возвышаются над непечатающими
58. диапозитив на фотопластинке59. формная пластина с позитивным копировальным слоемguide plate — направляющая пластина; кондуктор
60. печатная форма позитивного копированияpositive-acting plate — офсетная пластина, имеющая после копирования видимое прямое изображение
positive working printing plate — позитивная формная пластина, формная пластина позитивного копирования
powder etched plate — печатная форма, вытравленная с припудриванием
powderless etched plate — печатная форма, вытравленная без припудривания
pressing plate — прессующая губка, прессующая пластина
press-ready plate — форма, готовая к печати
61. формная пластина62. форма для многокрасочного печатания63. репродукционная фотопластинка64. перфорированная печатная форма; печатная форма с перфорированными краями65. форма с пробитыми приводочными отверстиями66. планка механизма бокового равнения67. металлическая пластина на переднем краю накладного столаregistered plate — форма, установленная в положение точной приводки
68. ребристый стереотип69. ребристая печатная формаscan plate — клише, изготовленное на фотоэлектрогравировальной машине
70. клише, имеющее растр на штрихах и заливках рисунка71. растровое клише72. очувствлённая формная пластина73. светочувствительная фотопластинкаshort-lived plate — печатная форма, имеющая малую тиражестойкость
stereotype plate — стереотип, стереотипная печатная форма, вторичная печатная форма
74. офсетная формная пластина субтрактивного типа75. форма позитивного копированияtension lock-up plate — печатная форма, закреплённая натягом
test printing plate — контрольная печатная форма, тест-форма, печатная форма для контрольных испытаний
tipped-in plate — приклеенная иллюстрация, вклейка
76. триметаллическая формная пластина77. триметаллическая печатная формаtub-grained plate — пластина, зернённая шариками
water-cooled plate — форма, охлаждаемая водой, форма с водяным охлаждением
water-developed plate — копия, проявляемая водой
web supporting plate — лентонаправляющая пластина; пластина, служащая опорой для ленты
78. офсетная пластина для изготовления формы способом натирания79. офсетная печатная форма, изготовленная способом натиранияplate supporting surface — поверхность, несущая печатную форму
См. также в других словарях:
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Outline of discrete mathematics — The following outline is presented as an overview of and topical guide to discrete mathematics: Discrete mathematics – study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Outline of mathematics — Mathematics topics Mathematics articles: 0 9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Mathematicians: A B C D E F G H I J K L M N O P Q R S T U V … Wikipedia
Outline of combinatorics — See also: Index of combinatorics articles The following outline is presented as an overview of and topical guide to combinatorics: Combinatorics – branch of mathematics concerning the study of finite or countable discrete structures. Contents 1… … Wikipedia
Outline of science — The following outline is provided as an overview of and topical guide to science: Science – in the broadest sense refers to any system of objective knowledge. In a more restricted sense, science refers to a system of acquiring knowledge based on… … Wikipedia
Proof of Stein's example — Stein s example is an important result in decision theory which can be stated as: The ordinary decision rule for estimating the mean of a multivariate Gaussian distribution is inadmissible under mean squared error risk in dimesion at least 3 .The … Wikipedia
Outline of computer science — The following outline is provided as an overview of and topical guide to computer science: Computer science (also called computing science) – study of the theoretical foundations of information and computation and their implementation and… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of libertarianism — The following outline is provided as an overview of and topical guide to libertarianism. Libertarianism – political philosophy that holds individual liberty as the basic moral principle of society. It may also mean any political philosophy which… … Wikipedia
Outline of probability — Probability is the likelihood or chance that something is the case or will happen. Probability theory is used extensively in statistics, mathematics, science and philosophy to draw conclusions about the likelihood of potential events and the… … Wikipedia